Oral verapamil in paroxysmal supraventricular tachycardia recurrence control: A randomized clinical trial

Background: Adenosine is the first-line medication in patients with paroxysmal supraventricular tachycardia. Because it is cleared so rapidly from the circulation, recurrence of paroxysmal supraventricular tachycardia after initial successful conversion may occur. This study was conducted to evaluate the role of oral verapamil administration to control early recurrences of paroxysmal supraventricular tachycardia after adenosine infusion. Methods: Patients with acute paroxysmal supraventricular tachycardia and no contraindications for adenosine or verapamil treatment were included in study. All patients received an adenosine protocol (6 mg rapid bolus intravenous injection followed by two repeated doses of 12 mg if necessary). Patients in the adenosine-only group did not received any other medications but patients in the adenosine/verapamil group received 40 mg verapamil orally immediately after converting the rhythm to sinus rhythm. All patients were followed up for 6 h in the acute care area of the emergency department under continuous cardiac monitoring. Results: A total of 113 patients were assessed for eligibility and 92 patients were randomized into two groups (adenosine only versus adenosine/verapamil). There was no statistically significant difference in paroxysmal supraventricular tachycardia recurrence rate between the two groups in the first 30 min after treatment. Recurrence rate was statistically significantly lower in the adenosine/verapamil group than in the adenosine-only group between 30 and 120 min after treatment and thereafter. Two patients in the adenosine-only group experienced flushing and one patient in the adenosine/verapamil group experienced decreased systolic blood pressure. Oral verapamil can decrease paroxysmal supraventricular tachycardia recurrence after successful control with intravenous adenosine. © 2014, SAGE Publications. All rights reserved

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system

Monitoring Time Intervals

Run-time checking of timed properties requires to monitor events occurring within a specified time interval. In a distributed setting, working with intervals is complicated due to uncertainties about network delays and clock synchronization. Determining that an interval can be closed - i.e., that all events occurring within the interval have been observed - cannot be done without a delay. In this paper, we consider how an appropriate delay can be determined based on parameters of a monitoring setup, such as network delay, clock skew and clock rate. We then propose a generic scheme for monitoring time intervals, parameterized by the detection delay, and discuss the use of this monitoring scheme to check different timed specifications, including real-time temporal logics and rate calculations

MAC and baseband processors for RF-MIMO WLAN

The article describes hardware solutions for the IEEE 802.11 medium access control (MAC) layer and IEEE 802.11a digital baseband in an RF-MIMO WLAN transceiver that performs the signal combining in the analogue domain. Architecture and implementation details of the MAC processor including a hardware accelerator and a 16-bit MACphysical layer (PHY) interface are presented. The proposed hardware solution is tested and verified using a PHY link emulator. Architecture, design, implementation, and test of a reconfigurable digital baseband processor are described too. Description includes the baseband algorithms (the main blocks being MIMO channel estimation and Tx-Rx analogue beamforming), their FPGA-based implementation, baseband printed-circuit-board, and real-time test

Mobile Consumer Behavior in Fashion m-Retail: An Eye Tracking Study to Understand Gender Differences

© 2020 ACM. With exponential adoption of mobile devices, consumers increasingly use them for shopping. There is a need to understand the gender differences in mobile consumer behavior. This study used mobile eye tracking technology and mixed-method approach to analyze and compare how male and female mobile fashion consumers browse and shop on smartphones. Mobile eye tracking glasses recorded fashion consumers' shopping experiences using smartphones for browsing and shopping on the actual fashion retailer's website. 14 participants successfully completed this study, half of them were males and half females. Two different data analysis approaches were employed, namely a novel framework of the shopping journey, and semantic gaze mapping with 31 Areas of Interest (AOI) representing the elements of the shopping journey. The results showed that male and female users exhibited significantly different behavior patterns, which have implications for mobile website design and fashion m-retail. The shopping journey map framework proves useful for further application in market research